//
// Created by ron on 2020-09-24.
//

#ifndef RAMADA_DATA_H
#define RAMADA_DATA_H

int CheckFlag(const char* kernel);
void InitData();

#endif //RAMADA_DATA_H
